Simplicity of skew generalized power series rings

A skew generalized power series ring R[[S, ω]] consists of all functions from a strictly ordered monoid S to a ring R whose support contains neither infinite descending chains nor infinite antichains, with pointwise addition, and with multiplication given by convolution twisted by an action ω of the monoid S on the ring R. Special cases of the skew generalized power series ring construction are skew polynomial rings, skew Laurent polynomial rings, skew power series rings, skew Laurent series rings, skew monoid rings, skew group rings, skew Mal’cev–Neumann series rings, the “untwisted” versions of all of these, and generalized power series rings. In this paper we obtain necessary and sufficient conditions on R, S and ω such that the skew generalized power series ring R[[S, ω]] is a simple ring. As particular cases of our general results we obtain new theorems on skew monoid rings, skew Mal’cev–Neumann series rings and generalized power series rings, as well as known characterizations for the simplicity of skew Laurent polynomial rings, skew Laurent series rings and skew group rings.